-
1 lambda expression
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > lambda expression
-
2 lambda expression
Большой англо-русский и русско-английский словарь > lambda expression
-
3 lambda expression
Вычислительная техника: лямбда-выражение (в лямбда-исчислении) -
4 lambda expression
English-Russian dictionary of computer science and programming > lambda expression
-
5 expression
- approximate expression
- array expression
- atomic expression
- average expression
- Boolean expression
- call expression
- character expression
- compile time expression
- conditional expression
- constant expression
- defining expression
- designational expression
- element expression
- graphic expression
- idiomatic expression
- infix expression
- invariant expression
- lambda expression
- linear arithmetic expression
- logical expression
- manifest expression
- mathematical expression
- mixed mode expression
- numerical expression
- path expression
- Polish notation expression
- postfix expression
- prefix expression
- regular expression
- relational expression
- relocatable expression
- scalar expression
- selection expression
- S-expression
- structure expression
- subscript expressionEnglish-Russian dictionary of computer science and programming > expression
-
6 lambda calculus
математическая система для определения функций, вычисления значений выражений (lambda expression) и доказательства равенства выраженийАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > lambda calculus
-
7 lambda light chain expression
English-Russian small dictionary of medicine > lambda light chain expression
-
8 лямбда-выражение
Большой англо-русский и русско-английский словарь > лямбда-выражение
См. также в других словарях:
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
Lambda-mu calculus — In mathematical logic and computer science, the lambda mu calculus is an extension of the lambda calculus, and was introduced by M. Parigot in [lambda mu] calculus: an algorithmic interpretation of classical natural deduction , Springer LNAI no.… … Wikipedia
lambda calculus — noun Any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions. See Also: calculus, lambda, lambda… … Wiktionary
Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Lambda-Phage — Systematik Reich: Viren Ordnung: Caudovirales Familie: Siphoviridae Gattung: λ ähnliche Viren … Deutsch Wikipedia
Lambda (Bakteriophage) — Lambda Phage Systematik Reich: Viren Ordnung: Caudovirales Familie: Siphoviridae Gattung: λ ähnliche Viren … Deutsch Wikipedia
Lambda Phage — Systematik Reich: Viren Ordnung: Caudovirales Familie: Siphoviridae Gattung: λ ähnliche Viren … Deutsch Wikipedia
Lambda — (uppercase Λ, lowercase λ; el. Λάμβδα or el. Λάμδα, Lamda) is the 11th letter of the Greek alphabet. In the system of Greek numerals it has a value of 30. It was derived from the Phoenician letter Lamed the name of the letter, Λάμδα, is… … Wikipedia
Lambda lifting — or closure conversion is the process of eliminating free variables from local function definitions from a computer program. The elimination of free variables allows the compiler to hoist local definitions out of their surrounding contexts into a… … Wikipedia
Expression Rationnelle — Pour les articles homonymes, voir régulier et rationnel. Une expression rationnelle ou expression régulière[1] est en informatique une chaîne de caractères que l’on appelle parfois un motif et qui décrit un ensemble de chaînes de caractères… … Wikipédia en Français